Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
291	Datatype-Generic Termination Proofs Roland Backhouse and Henk Doornbos [removed] School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, henk.doornbos@questan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-06-22 04:16:03 Category theory Combinatorics on words Functional programming Data types Catamorphism Generic programming Relation algebra Function String Mathematics Abstract algebra Mathematical logic
292	Data Structures II Advanced Functional Programming ¨ ([removed]) Andres Loh Universiteit Utrecht Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Abstract data types Data types C++ Standard Library Double-ended queue Sequence container Primitive types Haskell Queue Tagged union Computing Software engineering Computer programming
293	doi:[removed]j.entcs[removed] Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2005-07-25 06:30:34 Data types Abstract data types Maude system Functional languages Procedural programming languages Type theory Stack ATS ALGOL 68 Software engineering Computing Programming language theory
294	Lecture VI Page 1 “ ...self-amortizing canals... ” — Mr. Banks in Mary Poppins (the movie) Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-10-01 09:52:33 Data structures Analysis of algorithms Computer science Abstract data types Splay tree Potential method Amortized analysis Fibonacci heap Binary search tree Binary trees Graph theory Theoretical computer science
295	Data Structures I Advanced Functional Programming ¨ ([removed]) Andres Loh Universiteit Utrecht Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computer programming Persistent data structure Double-ended queue Queue Stack List Haskell Purely functional C Abstract data types Software engineering Computing
296	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
297	banner above paper title Typed Transformations of Typed Abstract Syntax Arthur Baars S. Doaitse Swierstra Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2008-10-16 11:51:41 Programming language theory Data types Functional programming LG enV2 LG enV Type system Env Generalized algebraic data type ECL programming language Software engineering Computing Type theory
298	Beauty in the Beast A Functional Semantics for the Awkward Squad Wouter Swierstra Thorsten Altenkirch Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-10-21 13:11:35 Abstract data types Functional programming Procedural programming languages Concurrent Haskell Data types Monad C file input/output Denotational semantics Scheduling Software engineering Computing Computer programming
299	The Scala-REPL + MMT as a Lightweight Mathematical User Interface Mihnea Iancu, Felix Mance, and Florian Rabe Jacobs University, Bremen, Germany Abstract. Scala is a general purpose programming language that includes a Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-09 06:07:30 Lisp programming language Functional programming Functional languages Type theory Data types OpenMath Read–eval–print loop Scala Type inference Computing Software engineering Computer programming
300	OVERLOAD CONTENTS OVERLOAD 101 Add to Reading List Source URL: www.accu.org Language: English - Date: 2011-02-13 04:32:42 Queue Stack Input queue Message queue Sequence container Monitor Load Abstract data types Computing Double-ended queue

UPDATE